11![A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin](https://www.pdfsearch.io/img/92bf74669a995fa34eba32397dca00ff.jpg) | Add to Reading ListSource URL: www.fields.utoronto.caLanguage: English - Date: 2011-07-07 14:48:20
|
---|
12![ACQUIRING APPROXIMATE REPRESENTATIONS OF SOME SPATIAL RELATIONS Vincent B. Robinson (NET) Department of Surveying Engineering The University of Calgary ACQUIRING APPROXIMATE REPRESENTATIONS OF SOME SPATIAL RELATIONS Vincent B. Robinson (NET) Department of Surveying Engineering The University of Calgary](https://www.pdfsearch.io/img/c1f634f5149cba01d101c327c44014d9.jpg) | Add to Reading ListSource URL: mapcontext.comLanguage: English - Date: 2008-08-30 00:16:48
|
---|
13![Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, Germany Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, Germany](https://www.pdfsearch.io/img/126052f7b16ccd7c959b7a421b5b1257.jpg) | Add to Reading ListSource URL: wwwiti.cs.uni-magdeburg.deLanguage: English - Date: 2011-06-11 06:47:51
|
---|
14![SETS: A Basic Set Theory Package Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK. SETS: A Basic Set Theory Package Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK.](https://www.pdfsearch.io/img/de67686872ddfb8fce1b5226477aadcc.jpg) | Add to Reading ListSource URL: reduce-algebra.comLanguage: English - Date: 2008-12-30 11:47:48
|
---|
15![Part 2: First-Order Logic 2.1 Syntax 2.2 Semantics 2.3 Models, Validity, Satisfiability 2.4 Algorithmic problems 2.5 Normal forms and Skolemization Part 2: First-Order Logic 2.1 Syntax 2.2 Semantics 2.3 Models, Validity, Satisfiability 2.4 Algorithmic problems 2.5 Normal forms and Skolemization](https://www.pdfsearch.io/img/59cecf91c3deb306c34a618247cc8a0d.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2009-06-05 11:15:41
|
---|
16![CS61c: Representations of Combinational Logic Circuits J. Wawrzynek October 12, 2007 1 CS61c: Representations of Combinational Logic Circuits J. Wawrzynek October 12, 2007 1](https://www.pdfsearch.io/img/e4b25122cb8a9bb810519a44b9378aaf.jpg) | Add to Reading ListSource URL: www-inst.eecs.berkeley.eduLanguage: English - Date: 2007-10-14 23:24:26
|
---|
17![Data Mining and Knowledge Discovery manuscript No. (will be inserted by the editor) Clustering Boolean Tensors Saskia Metzler · Pauli Miettinen Data Mining and Knowledge Discovery manuscript No. (will be inserted by the editor) Clustering Boolean Tensors Saskia Metzler · Pauli Miettinen](https://www.pdfsearch.io/img/c550651fd8d1c56e9b8edafe0e495ac1.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-06-15 12:06:11
|
---|
18![Dresden, September 23rd, 2015 SAFETY CONSTRAINTS AND ETHICAL PRINCIPLES IN COLLECTIVE DECISION-MAKING SYSTEMS Francesca Rossi Dresden, September 23rd, 2015 SAFETY CONSTRAINTS AND ETHICAL PRINCIPLES IN COLLECTIVE DECISION-MAKING SYSTEMS Francesca Rossi](https://www.pdfsearch.io/img/60ed897281e27a9668084aa350f0f5a0.jpg) | Add to Reading ListSource URL: ki2015.computational-logic.orgLanguage: English - Date: 2015-10-02 05:44:22
|
---|
19![Join Size Estimation on Boolean Tensors of RDF Data Saskia Metzler Pauli Miettinen Max-Planck-Institut für Informatik Join Size Estimation on Boolean Tensors of RDF Data Saskia Metzler Pauli Miettinen Max-Planck-Institut für Informatik](https://www.pdfsearch.io/img/71ce1f65244a87e31f64ceb6eaee0bc9.jpg) | Add to Reading ListSource URL: www.www2015.itLanguage: English - Date: 2015-05-15 11:15:05
|
---|
20![Microsoft PowerPoint - perspCompatibility Mode] Microsoft PowerPoint - perspCompatibility Mode]](https://www.pdfsearch.io/img/88e995afc06af6898a4914d6abb32ae0.jpg) | Add to Reading ListSource URL: resources.mpi-inf.mpg.deLanguage: English - Date: 2012-12-18 03:41:56
|
---|